Deconstructing the semantics of big-step modelling languages
Identifieur interne : 003093 ( Main/Exploration ); précédent : 003092; suivant : 003094Deconstructing the semantics of big-step modelling languages
Auteurs : Shahram Esmaeilsabzali [Canada] ; Nancy A. Day [Canada] ; Joanne M. Atlee [Canada] ; Jianwei Niu [États-Unis]Source :
- Requirements Engineering [ 0947-3602 ] ; 2010-06-01.
English descriptors
- KwdEn :
Abstract
Abstract: With the popularity of model-driven methodologies and the abundance of modelling languages, a major question for a requirements engineer is: which language is suitable for modelling a system under study? We address this question from a semantic point-of-view for big-step modelling languages (BSMLs). BSMLs are a class of popular behavioural modelling languages in which a model can respond to an input by executing multiple transitions, possibly concurrently. We deconstruct the operational semantics of a large class of BSMLs into eight high-level, mostly orthogonal semantic aspects and their common semantic options. We analyse the characteristics of each semantic option. We use feature diagrams to present the design space of BSML semantics that arises from our deconstruction, as well as to taxonomize the syntactic features of BSMLs that exhibit semantic variations. We enumerate the dependencies between syntactic and semantic features. We also discuss the effects of certain combinations of semantic options when used together in a BSML semantics. Our goal is to empower a requirements engineer to compare and choose an appropriate BSML from the plethora of existing BSMLs, or to articulate the semantic features of a new desired BSML when such a BSML does not exist.
Url:
DOI: 10.1007/s00766-010-0102-z
Affiliations:
Links toward previous steps (curation, corpus...)
- to stream Istex, to step Corpus: 000C14
- to stream Istex, to step Curation: 000C07
- to stream Istex, to step Checkpoint: 000855
- to stream Main, to step Merge: 003150
- to stream Main, to step Curation: 003093
Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">Deconstructing the semantics of big-step modelling languages</title><author><name sortKey="Esmaeilsabzali, Shahram" sort="Esmaeilsabzali, Shahram" uniqKey="Esmaeilsabzali S" first="Shahram" last="Esmaeilsabzali">Shahram Esmaeilsabzali</name></author><author><name sortKey="Day, Nancy A" sort="Day, Nancy A" uniqKey="Day N" first="Nancy A." last="Day">Nancy A. Day</name></author><author><name sortKey="Atlee, Joanne M" sort="Atlee, Joanne M" uniqKey="Atlee J" first="Joanne M." last="Atlee">Joanne M. Atlee</name></author><author><name sortKey="Niu, Jianwei" sort="Niu, Jianwei" uniqKey="Niu J" first="Jianwei" last="Niu">Jianwei Niu</name></author></titleStmt><publicationStmt><idno type="wicri:source">ISTEX</idno><idno type="RBID">ISTEX:33750399F33353CC0033795A3D5AA4ACFBD9455F</idno><date when="2010" year="2010">2010</date><idno type="doi">10.1007/s00766-010-0102-z</idno><idno type="url">https://api.istex.fr/ark:/67375/VQC-BF3BTNRL-P/fulltext.pdf</idno><idno type="wicri:Area/Istex/Corpus">000C14</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">000C14</idno><idno type="wicri:Area/Istex/Curation">000C07</idno><idno type="wicri:Area/Istex/Checkpoint">000855</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Checkpoint">000855</idno><idno type="wicri:doubleKey">0947-3602:2010:Esmaeilsabzali S:deconstructing:the:semantics</idno><idno type="wicri:Area/Main/Merge">003150</idno><idno type="wicri:Area/Main/Curation">003093</idno><idno type="wicri:Area/Main/Exploration">003093</idno></publicationStmt><sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Deconstructing the semantics of big-step modelling languages</title><author><name sortKey="Esmaeilsabzali, Shahram" sort="Esmaeilsabzali, Shahram" uniqKey="Esmaeilsabzali S" first="Shahram" last="Esmaeilsabzali">Shahram Esmaeilsabzali</name><affiliation wicri:level="1"><country xml:lang="fr">Canada</country><wicri:regionArea>Cheriton School of Computer Science, University of Waterloo, N2L 3G1, Waterloo, ON</wicri:regionArea><wicri:noRegion>ON</wicri:noRegion></affiliation><affiliation wicri:level="1"><country wicri:rule="url">Canada</country></affiliation></author><author><name sortKey="Day, Nancy A" sort="Day, Nancy A" uniqKey="Day N" first="Nancy A." last="Day">Nancy A. Day</name><affiliation wicri:level="1"><country xml:lang="fr">Canada</country><wicri:regionArea>Cheriton School of Computer Science, University of Waterloo, N2L 3G1, Waterloo, ON</wicri:regionArea><wicri:noRegion>ON</wicri:noRegion></affiliation><affiliation wicri:level="1"><country wicri:rule="url">Canada</country></affiliation></author><author><name sortKey="Atlee, Joanne M" sort="Atlee, Joanne M" uniqKey="Atlee J" first="Joanne M." last="Atlee">Joanne M. Atlee</name><affiliation wicri:level="1"><country xml:lang="fr">Canada</country><wicri:regionArea>Cheriton School of Computer Science, University of Waterloo, N2L 3G1, Waterloo, ON</wicri:regionArea><wicri:noRegion>ON</wicri:noRegion></affiliation><affiliation wicri:level="1"><country wicri:rule="url">Canada</country></affiliation></author><author><name sortKey="Niu, Jianwei" sort="Niu, Jianwei" uniqKey="Niu J" first="Jianwei" last="Niu">Jianwei Niu</name><affiliation wicri:level="2"><country xml:lang="fr">États-Unis</country><wicri:regionArea>Department of Computer Science, University of Texas at San Antonio, 78249, San Antonio, TX</wicri:regionArea><placeName><region type="state">Texas</region></placeName></affiliation><affiliation wicri:level="1"><country wicri:rule="url">États-Unis</country></affiliation></author></analytic><monogr></monogr><series><title level="j">Requirements Engineering</title><title level="j" type="abbrev">Requirements Eng</title><idno type="ISSN">0947-3602</idno><idno type="eISSN">1432-010X</idno><imprint><publisher>Springer-Verlag</publisher><pubPlace>London</pubPlace><date type="published" when="2010-06-01">2010-06-01</date><biblScope unit="volume">15</biblScope><biblScope unit="issue">2</biblScope><biblScope unit="page" from="235">235</biblScope><biblScope unit="page" to="265">265</biblScope></imprint><idno type="ISSN">0947-3602</idno></series></biblStruct></sourceDesc><seriesStmt><idno type="ISSN">0947-3602</idno></seriesStmt></fileDesc><profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>Big-step modelling languages</term><term>Domain-specific modelling languages</term><term>Model-driven development</term><term>Semantics of modelling languages</term><term>Statecharts</term><term>UML StateMachines</term></keywords></textClass><langUsage><language ident="en">en</language></langUsage></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">Abstract: With the popularity of model-driven methodologies and the abundance of modelling languages, a major question for a requirements engineer is: which language is suitable for modelling a system under study? We address this question from a semantic point-of-view for big-step modelling languages (BSMLs). BSMLs are a class of popular behavioural modelling languages in which a model can respond to an input by executing multiple transitions, possibly concurrently. We deconstruct the operational semantics of a large class of BSMLs into eight high-level, mostly orthogonal semantic aspects and their common semantic options. We analyse the characteristics of each semantic option. We use feature diagrams to present the design space of BSML semantics that arises from our deconstruction, as well as to taxonomize the syntactic features of BSMLs that exhibit semantic variations. We enumerate the dependencies between syntactic and semantic features. We also discuss the effects of certain combinations of semantic options when used together in a BSML semantics. Our goal is to empower a requirements engineer to compare and choose an appropriate BSML from the plethora of existing BSMLs, or to articulate the semantic features of a new desired BSML when such a BSML does not exist.</div></front></TEI><affiliations><list><country><li>Canada</li><li>États-Unis</li></country><region><li>Texas</li></region></list><tree><country name="Canada"><noRegion><name sortKey="Esmaeilsabzali, Shahram" sort="Esmaeilsabzali, Shahram" uniqKey="Esmaeilsabzali S" first="Shahram" last="Esmaeilsabzali">Shahram Esmaeilsabzali</name></noRegion><name sortKey="Atlee, Joanne M" sort="Atlee, Joanne M" uniqKey="Atlee J" first="Joanne M." last="Atlee">Joanne M. Atlee</name><name sortKey="Atlee, Joanne M" sort="Atlee, Joanne M" uniqKey="Atlee J" first="Joanne M." last="Atlee">Joanne M. Atlee</name><name sortKey="Day, Nancy A" sort="Day, Nancy A" uniqKey="Day N" first="Nancy A." last="Day">Nancy A. Day</name><name sortKey="Day, Nancy A" sort="Day, Nancy A" uniqKey="Day N" first="Nancy A." last="Day">Nancy A. Day</name><name sortKey="Esmaeilsabzali, Shahram" sort="Esmaeilsabzali, Shahram" uniqKey="Esmaeilsabzali S" first="Shahram" last="Esmaeilsabzali">Shahram Esmaeilsabzali</name></country><country name="États-Unis"><region name="Texas"><name sortKey="Niu, Jianwei" sort="Niu, Jianwei" uniqKey="Niu J" first="Jianwei" last="Niu">Jianwei Niu</name></region><name sortKey="Niu, Jianwei" sort="Niu, Jianwei" uniqKey="Niu J" first="Jianwei" last="Niu">Jianwei Niu</name></country></tree></affiliations></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 003093 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 003093 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Main
|étape= Exploration
|type= RBID
|clé= ISTEX:33750399F33353CC0033795A3D5AA4ACFBD9455F
|texte= Deconstructing the semantics of big-step modelling languages
}}
| This area was generated with Dilib version V0.6.33. |  |